var t = document.getElementById('s'); 
function default(){
	t.value='';
}
function mark(){
	if ( t.value =='' ){
		t.style.background='#E3E3E3';
	}
}
function unmark(){
	if ( t.value =='' ){
		t.style.background='url(<?php bloginfo('template_directory'); ?>/images/search_bg.gif) no-repeat 2px 4px';
	}
}